The Relationship Between Separation Logic and Implicit Dynamic Frames
نویسندگان
چکیده
منابع مشابه
The Relationship between Separation Logic and Implicit Dynamic Frames
Separation logic is a concise method for specifying programs that manipulatedynamically allocated storage. Partially inspired by separation logic, Implicit DynamicFrames has recently been proposed, aiming at first-order tool support. In this paper,we precisely connect the semantics of these two logics. We define a logic whose syntaxsubsumes both that of a standard separation log...
متن کاملImplicit Dynamic Frames: Combining Dynamic Frames and Separation Logic
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annotations. In this paper, we propose a variant of the dynamic frames approach that eliminates the need to explicitly write and check frame annotations. Reminiscent of separation logic’s frame rule, programmers write acces...
متن کاملImplicit Dynamic Frames: Combining dynamic frames and separation logic (soundness proof)
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annotations. In this paper, we propose a variant of the dynamic frames approach that eliminates the need to explicitly write and check frame annotations. In this paper, we improve upon the classical dynamic frames approach ...
متن کاملthe relationship between critical thinking and reading strategies
during the process of reading, sometimes learners use ineffective and inefficient strategies and some factors may influence their use of strategies. perhaps critical thinking is one of these factors. this study aims to identify those categories of reading strategies that are mostly used by iranian efl learners and to see if there is any significant relationship between the critical thinking abi...
the relationship between collocational competence and listening comprehension
پس از پیدایش روش تدریس tpr توسط جیمز اشر که توجه و تآکید بسیاری بر مهارت شنیداری داشت زبانشناسان همواره در صدد یافتن راههایی برای بهبود این مهارت در زبان آموزان می باشند. از طرفی جی-آر-فرث که از پیشگامان زبانشناسی می باشد بر تآثیر لغات و بویژه گروه کلمات که اغلب در گفتار با هم می آیند (هم آیی کلمات)تأکید بسیار کرده است. به این دلیل و به منظوربررسی رابطه بین این دو عامل یعنی درک شنیداری و دانش...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2012
ISSN: 1860-5974
DOI: 10.2168/lmcs-8(3:1)2012